Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks
نویسندگان
چکیده
We take a logical approach to threshold models, used to study the diffusion of opinions, new technologies, infections, or behaviors in social networks. Threshold models consist of a network graph of agents connected by a social relationship and a threshold value which regulates the diffusion process. Agents adopt a new behavior/product/opinion when the proportion of their neighbors who have already adopted it meets the threshold. Under this adoption policy, threshold models develop dynamically towards a guaranteed fixed point. We construct a minimal dynamic propositional logic to describe the threshold dynamics and show that the logic is sound and complete. We then extend this framework with an epistemic dimension and investigate how information about more distant neighbors’ behavior allows agents to anticipate changes in behavior of their closer neighbors. Overall, our logical formalism captures the interplay between the epistemic and social dimensions in social networks.
منابع مشابه
The Creation and Change of Social Networks: A Logical Study Based on Group Size
This paper is part of an on-going programme in which we provide a logical study of social network formations. In the proposed setting, agent a will consider agent b as part of her network if the number of features (properties) on which they differ is small enough, given the constraints on the size of agent a’s ‘social space’. We import this idea about a limit on one’s social space from the cogn...
متن کاملDynamic Epistemic Logics
Dynamic epistemic logic, broadly conceived, is the study of rational social interaction in context, the study, that is, of how agents update their knowledge and change their beliefs on the basis of pieces of information they exchange in various ways. The information that gets exchanged can be about what is the case in the world, about what changes in the world, and about what agents know or bel...
متن کاملپیشگویی پیوند در شبکه های اجتماعی با استفاده از ترکیب دسته بندی کننده ها
Abstract Link prediction in social networks is one of the most important activities in analysis of such networks. The importance of link prediction in social networks is due to its dynamic nature. While members and their relationships (links) in such networks are continuously increasing, links may be missed due to various reasons. By predicting such links, the possibility of extension, compl...
متن کاملDynamic Epistemic Logic II: Logics of Information Change
Dynamic epistemic logic, broadly conceived, is the study of logics of information change. Inference, communication and observation are typical examples of informative events which have been subjected to a logical analysis. This article will introduce and critically examine a number of different logical systems that have been used to reason about the knowledge and beliefs of a group of agents du...
متن کاملA Survey of Dynamic Logics
Dynamic logic has created a paradigm shift in logic. In this work, we provide a survey of some major dynamic logics: propositional dynamic logic, game logic, dynamic epistemic logic and logic of questions. The unifying idea behind presenting these logics is to observe how the “dynamic” aspect of the logic is represented in each formalism.
متن کامل